#include <vxl_copyright.h>
#include <vxl_version.h>

int main() { return 0; }
